Boolean_equation loading ...