standard model subgroup of model, 8 assertions