Direct integral theory. (2020)