The top documents tagged [sequent depths y]