Added Hoare rules part 1.