This method is used primarly in lo/la operators to automatically give you either a limit or a colimit of some expression.