Heh, I just think you and I have different ideas about what "local reasoning" should mean. I cannot personally call your examples anything but very global.
Only when talking about the entire system. In which case, yes I fully advocate for more global reasoning. Above and beyond any considerations of purity, evidently. :)
Comments
Heh, I just think you and I have different ideas about what "local reasoning" should mean. I cannot personally call your examples anything but very global.
Only when talking about the entire system. In which case, yes I fully advocate for more global reasoning. Above and beyond any considerations of purity, evidently. :)