This demo displays all the points on the graph of some function f(x) (shown in white) that satisfy the side condition that some function g(x) (in green) equals some constant c (line y = c in blue). These points are displayed as red tick marks.