The Method of Exhaustion: Guiding Inquiry from Both Ends to the Truth