re-worked section "Proof Nets" (minus "notation")