The top documents tagged [general assumptionsbegin]