Leibniz’s dream