all hail Boole