Added some more examples for normal forms