Normal and external normal forms

One can check whether the set of normal forms NF$_\mathcal{R}$ or the set of external normal forms ENF$_\mathcal{R}$ are empty using the NF empty? and ENF empty? commands. When the set is not empty, a term witnessing nonemptyness is shown.