Changing a few things in assessingformula for the purpose of better explanation.