started proof of non-degeneracy vs. self-duality, closing day on 2465