While this page is under construction, you can find the section in my free logic textbook as well as screen shots of that text below.