How to prove or disprove that if a polyomino tiles the plane, it must also be able to perfectly tile some larger polyomino, which also tiles the plane?
A polyomino is finite set of unit squares connected side to side. Allowed to rotate when tiling. Tiles must be disjoint. Perfect tiling=Exact cover.