P vs NPVerifying vs finding. State it properly, including what a proof either way would actually change.