The top documents tagged [formulaability of formula]