SExtractor: new formula.

Closes #753.