What about predictability of nice surprices? Who would not want to predict few - or more - nice surprices in their living experience? Even and especially if you are doing universe design with a formal language?