introduction and thesis for Leibniz paper