Example of greback Normal Form