baby hippo subgroup of hippo, 1 assertions