All timpanists are haughty. If some timpanists are haughty, then some percussionists are overbearing. Therefore, all timpanists are overbearing. (T, H, P, O)

Translate the following arguments into symbolic form. Then use either the counterexample method or the finite universe method to prove that each is invalid.