added very bad CNF to contexts.html