A paper published in the January 2010 issue of Computers & Mathematics with Applications which, according to Times Higher Education, “used unspecified computer ‘magnification technology’ to provide the first proof of a Euclidean axiom called the ‘parallel postulate'”, has been withdrawn by the publisher.