Wrap long lines.
Merge branch 'basic_modal_logic' of github.com:winobes/modal-logic into basic_modal_logic
Fix typo.