Menasco, along with Morwen Thistlethwaite proved the Tait flyping conjecture, which states that given any two reduced alternating diagrams D1,D2 of an oriented, prime alternating link, D1 may be transformed to D2 by means of a sequence of certain simple moves called flypes.