head aspect of serval, 1 assertions