head aspect of mantis, 1 assertions