The top documents tagged [assumptionexact]