Search: Prove hard