cormac hoare view 1