Does every sequence contain the empty sequence? If so, does it not contain the empty sequence at every position in itself? Harder to reason about.