Here’s a joke I made just for you guys!
What’s a morass you ask? Well… in axiomatic set theory, a morass is an infinite combinatorial structure that is used to create huge structures from a “small number of small approximations”. Jensen defined them while proving that cardinal transfer theorems hold under the axiom of constructibility.
Gap-n morasses are a bit difficult to explain in a simple manner (or even understand), but essentially, the ‘gap’ refers to the cardinal difference between the size of the “small approximations” used and the size of the bigger structure.