The top documents tagged [technical lemma assumption]