Information Hoare view 2