Links for predicat-docs