Improve proof of Incompatibility Semantics property
Merge branch 'master' of github.com:RichardEvans/EL
Added piece about expressive limitation