HomeIsabelle/Phabricator

made LFP operation more faithful to the implementation