Leibniz argued that impact mechanics presupposes active force (vis viva) irreducible to extension an...