annotated ciphertext class