'pollution' by mprof9 pollution

Notes on pollution by mprof9