Minterms loading ...