Boole-algebra s by Jennekens