Working getNormalForms method