The top documents tagged [lean assumption]