@l_incompletude your code to verify formulas has a lot of bugs. I can help, if you'd like