Formal Reasoning and Science Teaching | Synapse