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