distinguished normal form