If you were to diagram this as a rule ... one used for biconditionals) would be best for this. Since ... double arrow, you could diagram the rule you cited like ... rule: If before T, K must be before M, and vice versa ... Or, If after M, K must be after T, and vice versa.