MathCore replies on comments by JstForQuestion