 In addition, historical connectedness may be considered as an axiom, i.e., it may be assumed that \(c_1 \cap c_2 \ne \varnothing,\) for any two chronicles \(c_1\) and \(c_2\) in the branching time system.