Links for abstractreasoner