Za prirodne brojeve i , promatramo popločavanja ploče dimenzija dominima dimenzija . U jednom potezu je dopušteno izabrati kvadrat na ploči koji je potpuno prekriven s dva domina, te okrenuti ga za oko središta. Kažemo da su dva popločavanja ekvivalentna ako je od jednog moguće dobiti drugog primjenom konačno mnogo dopuštenih poteza. Za koje parove su sva popločavanja ekvivalentna?