A space that cannot consistently contain all epistemic types without contradiction cannot be univers...