The top documents tagged [closure assumption]