distinctKeysProduceDistinctCiphertexts