once again looking at our example we se e that there is an instance of implication introduction which i've written here over on the left and deriving line six from the subproof on lines three through five.