Links for reasoning-library