Matroids: added logical implication