Tex-Not forgotten