Leibniz: What Is a Monad?