SCH BOOLEAN ALGEBRA, Mendelson