Add CNF example view.