To what degree do the author and advocates of the D(2) Programming Language believe that it is axiomatically pure and to what degree to the naysayers believe that it is conversely impure. Further, does axiomatic purity in a PL really matter? Thanks in advance for all opinions offered. Cheers Justin Johansson