WIP; example when value is not the same as normal form