Greback Normal Form