HomeIsabelle/Phabricator

factored out bit comprehension