Fix javascript
Fix proof div display
Add step for proving reflexivity of implication