square watermelon subgroup of watermelon, 1 assertions