I would take this with a huge grain of salt. But generally it's quite astonishing with how few assumptions such complex theories can be derived. Also the mathematical apparatus has really all batteries included speaking of Lagrange formalism and its Action (point 1)