Example3, value not same as normal form