The top documents tagged [squares logic]