I want to know the answer to the following question:
Who was the president of Czechoslovakia during the dissolution of the Warsaw Pact?
All the background I'm provided with is that "On 1 July 1991, the Czechoslovak President Václav Havel formally declared an end to the Warsaw Treaty Organization of Friendship, Co-operation, and Mutual Assistance which had been established in 1955.". Is that enough to answer the question?