Added 'pure' attributes where it might help (not everywhere applicable)