free neutron subgroup of neutron, 6 assertions