Si chiama Better Boole, ma da quanto ho capito non si trova + in giro