head aspect of elk, 2 assertions