HomeIsabelle/Phabricator

Fix function name: they're mutual bindings not mutable.