Finished example when value is not the same as normal form