The Blind Leading the Blind: Mutual Refinement of Approximate Theories