Session produced by Happy-Or-Not