wiring diagram subgroup of diagram, 3 assertions