A customer defined requirements, engineers implemented them, and the project was considered complete once it went live.
How Emmy Noether's theorem uses the Lagrangian to provide a formula for calculating the quantity of symmetries in a system—like the orbit of planets.