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

[Manfred]

Thanks for explaining more!