CircuitOracle methods
Circuits method for 2-sums