Links for deductive-system