Why does the false positive rate matter if you have a verifiable oracle? You can just disregard anything that fails the oracle