Add function for dealing with signing formulas.