eye aspect of hippo, 2 assertions