[ استلزام التضمّن والالتزام للمطابقة دون العكس ] والتضمّن والالتزام يستلزمان المطابقة ولا يستلزم المطابقة التضمّن لجواز ان يكون المسمّى بسيطا ولا الالتزام لجواز ان لا يكون له لازم بيّن يلزم من فهمه فهمه وامّا كونه ليس غيره فغير بيّن بهذا المعنى بل بمعنى انّه إذا علم المسمّى علم كونه لازما له والمتعيّن هو الأوّل