SMS dit: Universality in set theories