“Don’t ever take a fence down until you know why it was put up.”

G.K. Chesterton

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

C.A.R. Hoare