Viliam comments on Infohazards, hacking, and Bricking—how to formalize these concepts?