RT @lambda_calculus: Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysi ...