Links for syre-formulas