electron spin subgroup of spin, 1 assertions