Kokowski, M. Copernicus and the Hypothetico-Deductive Method of Correspondence Thinking. THS 2007, 5, 7-101.