Comparing and Refining Algorithms