normal form transformation