maximum efficiency subgroup of efficiency, 1 assertions