“A proposed solution to the 'grain of truth' problem can be computationally approximated to an arbitrary degree of closeness.”