Links for formularity-dag