Boolean_polynomial loading ...