Coding the hypothetical door J.F. Hacking