Add more functions for dealing with formulas