NOTE: Dr. Craig uses logic symbols in this document. For users with Macintosh computer systems, for best results please set your browser to view this document using Western MacRoman encoding. In Netscape 3, use Options | Encoding and choose Western MacRoman. For Netscape 4, use View | Encoding and choose Western MacRoman.