The author presents new rewrite rules for the Sum-Over-Paths formalism, demonstrating completeness for the Toffoli-Hadamard fragment of quantum mechanics.