Probabilistic encryption works!