Moved incompatibility semantics section; improved it, added quotes