Model-based abductive cognition: What thought experiments teach us | Synapse