Happens-before is a partial order