Mehrdad Tue, 22 May 2012 22:18:44 -0700
We should make 'pure' mean strongly pure.
For weakly pure, we could introduce the 'doped' keyword :-D