Optional find-prove