save; TODO: finish terminalFormulaNodes refactor.