cormac hoare view 3