The Leibniz Machine