head aspect of robin, 1 assertions