Unifed captitalisation of Incompatibility Semantics ...