Title: Semantics and the foundations of program proving