Who's theory compliments Leibniz