RNF
root normal form