2nd proofs Clause Linking and Clause Hierarchy