neutral atom subgroup of atom, 2 assertions