circuit diagram subgroup of diagram, 3 assertions