Links for reasoning-tool