In what century did Leibniz propose the idea of Latin: vis viva