Dr_Manhattan comments on Logics for Mind-Building Should Have Computational Meaning