Draw a single loop consisting of vertical and horizontal segments between dots that does not touch or cross itself. For each cell, this loop visits a certain number of corners and edges. If there is a black dot in a cell, one of these numbers is equal to the other number multiplied by two. If there is a white dot in a cell, the two numbers are consecutive. If there is no dot in a cell, neither of these conditions applies.