O is not Enough. - Jeff B. Paris; Richard Simmonds (Rev. Symb. Log., 2009)