Added Hoare2.