More boolean algebra instances