Got some thesis stuff written up. Getting very close to an appropriate definition of pattern spines in the presence of irrelevance.
