Poincaré's attempt of a four-dimensional reformulation of the new mechanics was not continued by himself, so it was Hermann Minkowski (1907), who worked out the consequences of that notion (other contributions were made by Roberto Marcolongo (1906) and Richard Hargreaves (1908)). This was based on the work of many mathematicians of the 19th century like Arthur Cayley, Felix Klein, or William Kingdon Clifford, who contributed to group theory, invariant theory and projective geometry, formulating concepts such as the Cayley–Klein metric or the hyperboloid model in which the interval x 1 2 + x 2 2 + x 3 2 − − x 4 2 and its invariance was defined in terms of hyperbolic geometry. Using similar methods, Minkowski succeeded in formulating a geometrical interpretation of the Lorentz transformation. He completed, for example, the concept of four vectors ; he created the Minkowski diagram for the depiction of spacetime; he was the first to use expressions like world line, proper time, Lorentz invariance/covariance, etc.; and most notably he presented a four-dimensional formulation of electrodynamics. Similar to Poincaré he tried to formulate a Lorentz-invariant law of gravity, but that work was subsequently superseded by Einstein's elaborations on gravitation.