parallel circuit subgroup of circuit, 2 assertions