If we hadn’t lost to Texas