Morwen Thistlethwaite, Louis Kauffman and K. Murasugi proved the first two Tait conjectures in 1987 and Morwen Thistlethwaite and William Menasco proved the Tait flyping conjecture in 1991.