Searching protocol for "sequence-lookup"
Prove results with combinatorial counting.
Explore conjectures to build toward proofs.