tmp
Merge branch 'master' into prolog_em
remove info about unification in w3d2 post and add explaining note