HomeIsabelle/Phabricator

rephrase Nitpick constraint in more first-order format that's also more…