formalization of metapsychology