head aspect of lifter, 1 assertions