For you can't always get what you want: When preconditions are better explanations than goals | Synapse