pair aspect of crab, 3 assertions