Add a note about the universes of [quotient].