Properly implemented infinite tiles