A Reduction Theorem For Finding