Task: Sentence Composition
Input (English): For example , a ciphertext might be re-encrypted from Bob to Charlie , and then again from Charlie to David and so on .
Output (English): Transitivity -- Transitive proxy re-encryption schemes allow for a ciphertext to be re-encrypted an unlimited number of times .