head aspect of cardinal, 6 assertions