use spire.optional.unicode.BooleanAlgebraOps