RT @FaiezHares@twitter.com
“In order that the man who checks may not have too difficult a task, the programmer should make a number of definite assertions which can be checked individually, and from which the correctness of the whole program easily follows.”
-- Alan Turing