Probabilistic LCF