Author: d.c.l. george boole