Updated link formalism with the 4.02 semantics