Footnote 1:

This is slightly tricky, as it's a quantified conditional, but I don't think this matters for my purposes.

Press the back button on your browser to go back to the post