Revise prove options.