right field subgroup of field, 1 assertions