Calculating Truth