Title: A boolean algebra