Add section on Sailfish quantifier.