total spin subgroup of spin, 1 assertions