more normal form