Reasoning about Bounded Reasoning | Synapse