Author: f.r.s george boole