CNF barrier properties

Key Properties of CNF