Switching formulas