role aspect of guard, 3 assertions