Title: Weak logic theory
Subjects: Logic, Computer programs, Correctness