Proof Nothing Can Run (Nothing)