Investigate how our notion of gamma-delta-correctness from the [[Multi-Instance Secure Public-Key Encryption]] relates to the classical epsilon-correctness (essentially completing the work that Carlo began).