Coding the hypothetical by J.F. Hacking