We assume each pixel can take on one of two colours, and that all patterns may be realized.
The rendering R represents the graph G[S] if