The incompatibility claim assumes LL must range over all properties unrestricted, but a sortal-restr...