## Mechanics

 Foundational temp formal power series $\succ \dots \succ$ Mechanics $\succ$ $\succ \dots \succ$ Pendulum
tmp entry on the mechanics intro part