HomeIsabelle/Phabricator

clarified -- avoid non-standard extend;

Authored by makarius.