wip
Merge branch 'topic/formalization' of github.com:vjovanov/papers into topic/formalization
Strip trailing whitespace