Irreflexivity of before and happens-before relations; basic lemma's about sequences and duplicate free sequences.
Conflict resolved