ENF and CNF