Check the formula