TCF7 and thymus lymphoma: To confirm the paradoxical finding that mice lacking Tcf1 suffer from thymic lymphomas due to deregulated high Wnt signaling rather than low, we crossed Tcf1−/− mice with a well-established Wnt-reporter mouse strain, namely the Axin2-LacZ mice.