The space of all epistemic types is universal in the sense that every relational model can be mapped...