HomeIsabelle/Phabricator

slightly simplified analysis (for the book)