Spiral: The Bonds of Reasoning Background