good roommate subgroup of roommate, 1 assertions