construct P_1, P_2, etc recursively so that P_k is minimal and there exists a tiling T with P_1(T)=P1, P2(T)=P2, ... Pk(T)=Pk
because we can construct an S so that T->S we know for any such T anything in Pk occurs infinitely often in T