See http://ambur.net/certainty.pdf