motivating sequential normal form