A method better than FOIL - mark method for multiplying terms