head aspect of mule, 2 assertions