Testing another functional update property