Logic

tw ⊆ m ; w ⊆ f ; m ∩ f = ∅ . ∴ tw ∩ w = ∅    ⇒    tw  ≠ w