This is not a description of a formalized theory, but thanks for playing.