Weyl tile argument