Basic SL proof using DS

Printable View