Dig deeper to SignalFormula