Factored out the incompatibility semantics in own section.