$forall (cID, _) <- submissionList
• #{tshow $ ciphertext cID}