relate linear motion to rotational motion
A bridging derivation suggested by Gemini 2.0. See the blog entry https://physicsderivationgraph.blogspot.com/2024/03/dichotomy-of-assumptions.html
In this github issue each new comment is a new session for the LLM (to avoid cross-contamination among the tasks).