school choice subgroup of choice, 3 assertions