necessary normal form