  We sketch a process algebra with data and probability distributions. This
allows to combine two very powerful abstraction mechanisms namely
non-deterministic choice and probabilities. However, it is not clear how to
define an appropriate semantics for the generalised choice over data in
combination with probability density functions. The real hotel is a puzzle that
exemplifies the core of the problem.
