Example2, value not same as normal form