Part way through Hoare2.