Revised Hoare rules part 2 section.