getNormalForm