leg aspect of hippo, 1 assertions