Hot: boolean-algebra