Computational Models of Dual-Process Reasoning | Synapse