Computing the truth, uncover the basic math, formulaic dreams