When an audience can be assumed to be familiar with the general form of such arguments, mathematicians will use the expression "Such and such is true by abstract nonsense""" rather than provide an elaborate explanation of particulars. For example, one might say that "By abstract nonsense, products are unique up to isomorphism when they exist""", instead of arguing about how these isomorphisms can be derived from the universal property that defines the product. This allows one to skip proof details that can be considered trivial or not providing much insight, focusing instead on genuinely innovative parts of a larger proof.