second quadrant subgroup of quadrant, 1 assertions