Supernice! A step for translating utility functions from one universe to another. If we only had a unique coherent probability distribution for UTMs and those f and g - the bijective mappings between universes - the translation would be even more unique.

I did not understand those earlier intelligence metric posts of yours. This one was clear and delightful. Maybe you introduced the heavy notation slower, or maybe I just found this subject more interesting.