... either T or K but not both.
Therefore, M ... both T+K which is not permitted.
**Set ... in 3rd. It doesn not lead to M in 3 ... t go backwards on the arrow without negating your ideas. I ... clarity, if we contrapose that chain we created in Rule 2 ...