Probabilistic Interactive Higher-Order Computation, 2018-02-22