free proton subgroup of proton, 2 assertions