CNF and VN:F