That is what the modern men of Japan have done, these grass-eaters.

Their breath froze in the air as it left their mouths, spouting forth in spumes of vapour that settled upon the hair of their bodies and formed into crystals of frost.

If a given world (in a Kripke model (for intuitionistic logic)) forces neither A nor ¬A then there is some possible future world (accessible from the present one) in which A is forced true. In particular, if A eventually becomes forced somewhere along any possible time thread (towards the future), then the present world would force ¬¬A to be true, but if this does not happen there there exists some possible future world in which ¬A becomes true.

The two of them played about four hands of spades, each of which was close but as usual, Yvonne won. Of course, she had to sell wolf tickets after the win. The next time you come over Mchael, I'll let you win. Let me win? he asked incredulously.