... one used for biconditionals) would be best for this. Since ... here, since both could be in or both out, ... away." Doing this would be ignoring the fact that both ... : If before T, K must be before M, and vice versa ... Or, If after M, K must be after T, and vice versa.