Re: [logic-ml] reseach on the theory of quanta