The proofs rely on geometric structure of the action function ℒ_𝓉(x,y) induced by H, and the identification of the absolute subminimality of u with convexity of the Hamilton-Jacobi flow t↦Tᵗᵘ(x).

Take of Linet two grains, of Musk three, of Ambergreece four, and the oyl of Bems a pretty quantity; grinde them all upon a Marble stone fit for that purpose; then with a brush or sponge rake them over, and it will sweeten them very well; your Gloves or Jerkins must first be washed in red Rose-water, and when they are almost dry, stretch them forth smooth, and lay on the Perfumes.

The old towns along the route are as solidly built from the gneiss of the region as you might expect.

I would accept that many of them behave like humans born on earth would, but that must be an artefact of poor translation or our poor understanding of their motives and objectives [Watsonian] or lack of vision on the writers part [Doylist - to borrow some terms from the Bujold mailing list - think 'as written by' Dr Watson or by Arthur Conan Doyle].