VN_F vs CNF