[[Multi-Instance Secure Public-Key Encryption]] introduserte $(\gamma, \delta)$-correctness, og introduserte samtidig en forsterket variant av CCA-orakelet, som Martijn er overbevist er "the correct way to model CCA-security with imperfect correctness". Hvordan hirearkiet og konstruksjoner i [[SoK - Public Key Encryption with Openings]] påvirkes av imperfect correctness er for det meste åpent.