Ha, Ha ... I have pointed to previous discussions with other HN users where the logic and rationale behind my "say so" are given. If you actually cared to read

Ha, Ha ... I have pointed to previous discussions with other HN users where the logic and rationale behind my "say so" are given. If you actually cared to read them you will find quite long back-and-forth on formal methods and a whole lot of references for edification.