SMS: Universality in set theories