y coordinate subgroup of coordinate, 4 assertions