some comments.
addes indentation bullets to structure a proof
more comments