“The job of formal methods is to elucidate the assumptions upon which formal correctness depends.”

C.A.R. Hoare

“Chemistry, unlike other sciences, sprang originally from delusions and superstitions, and was at its commencement exactly on a par with magic and astrology.”

Thomas Thomson