Accepting formulas for guess and slip