@neauoire I had no idea this was, or even could be, formalised. Beyond oddly unsatisfying Kolmogorov complexity ideas. Amazing! Seems probably profoundly important. Thanks for the link.