enhanced boolean algebra section