middle initial subgroup of initial, 3 assertions