Typo: formula -> circuit.