removed some obsolete notes, added a bit to the proof of non-degeneracy vs. self-duality