The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems.

The Romans had, even in their smaller municipia, Boards of Health—such, at least, I take to be the meaning of Novemvir and Triumvir Valetudinarius; and it may seem extraordianry that they did not remove the ustrinum to a greater distance.

Once, after a spammer trolled Nanae, accusing antis of having no life, Mad Pierre sarcastically responded that the spammer was correct. ¶ “Damn, you’ve got us bang to rights. We have no lives. None. At all.”

Queene Mary had her education for ſome yeares vnder Margaret Counteſſe of Salisbury the Mother of Poole (who was then a childe) and that by Queene Catharines meanes, who intended (as it was thought) to marry her Daughter the Lady Mary to one of the Counteſſes Sonnes,[…]