Proving Mutual Exclusivity