The Logic in Computer Science Column the Underlying Logic of Hoare Logic