single electron subgroup of electron, 4 assertions