Lit review: talk about preconditions & postconditions, and axiomatic semantics