head aspect of heron, 2 assertions