Is Belief Reasoning Automatic? | Synapse