remove unnecessary require in the dummy fromula