We should make 'pure' mean strongly pure. For weakly pure, we could introduce the 'doped' keyword :-D