Links for reasoning-kernel