8 Bit Twenty One Pilots - Implicit Demand for Proof