syl-reasoning-v2.pdf