coupled inductor subgroup of inductor, 6 assertions