RNF

root normal form