Updated bounds, and test cases. Will format the equation as a string for NameNodes.