https://instrumentationtools.com/boolean-arithmetic/