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