Links for predicat-tools