Kruskal's Theorem:

^you^ ^wish^ ^I^ ^was^ ^joking...^

lol I’d thought about adding it, don’t know why I didn’t. BB-n too, I reckon. Good thing you brought it up!