original square subgroup of square, 1 assertions