The foundations of program verification | lit.salon