Precision Logic