Start documenting universe polymorphism.