merge
invariant displays
merge