Text this: Probabilities on the Heisenberg group :