Deproximating Tredgold's Approximation. (August 2016)