More abstraction in toffoli_png