New: boolean-algebra