a few more proofs
more proofs, and fixes and notes for {close,open}{R,L}Era