Zaslať SMS: Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning