Before the theorem prover: verification is older than the alphabet