Abstract values significantly revamped to be smarter with external spaces. (fact 3) test works.