Information Hoare view 3