# Techniques & insights

Separate a research question from established claims. The included Lean snippet proves only True; it does not settle the interface-design question.