Title: Implicit Demand for Proof by Tyler Joseph