Unhindered-family covering conjecture

Let $(M_k\mid k\in K)$ be a family of matroids. A wave is a set together with disjoint spanning sets for the restrictions of the matroids to that set; a family is unhindered when it has no hindrance, in the terminology developed in the paper. A covering is a family of independent sets, one in each matroid, whose union covers the ground set. Unhindered-family covering conjecture. Any unhindered family of matroids has a covering. This is presented as another formulation equivalent to the Packing/Covering Conjecture and is the form used for the paper's partial proof.