Fitch Exercise 6.3