yishanchuan·ano passado·discussSure,but just in mathematical reasoning. If future works contain mathematical logic reasoning, it will perfect.