The top documents tagged [conjuctions formulas]