crazy intersection lemma
update wf-tp-dia