The top documents tagged [s c kwrx2x3xkx1proof]