glass cup subgroup of cup, 7 assertions