gwern comments on [ASoT] Simulators show us behavioural properties by default