pnrjulius comments on Infinite Certainty

[pnrjulius]

We could use hyperfinites maybe?