Regarding Comments on Formal Threads (continuation)