More formally, a tessellation or tiling is a cover of the Euclidean plane by a countable number of closed sets, called tiles, such that the tiles intersect only on their boundaries. These tiles may be polygons or any other shapes. Many tessellations are formed from a finite number of prototiles in which all tiles in the tessellation are congruent to the given prototiles. If a geometric shape can be used as a prototile to create a tessellation, the shape is said to tessellate or to tile the plane. The Conway criterion is a sufficient, but not necessary, set of rules for deciding whether a given shape tiles the plane periodically without reflections: some tiles fail the criterion, but still tile the plane. No general rule has been found for determining whether a given shape can tile the plane or not, which means there are many unsolved problems concerning tessellations.