lemma

• Davis
• cheapskates
• floating
• centipedes
• proofs