Source: http://www.thatmarcusfamily.org/philosophy/Course_Websites/Logic_S04/HW_Solutions/Chapter7A.pdf