Working Mirror Encryption without any Bugs (that I know about)