Toffoli-gate bound conjecture. To synthesize the circuit for SpS_pSp, one needs at most nnn Toffoli gates: