Test all of Formula’s methods