His disciple, Katahiro TAKEBE then introduced Tensan-jutsu and details on how to solve it by using "Hatsubi-Sanpo Endan Genkai" (a mathematical book that shows the process of elimination using algebraic symbols and answers the unresolved problems left by Takakazu SEKI in the book Hatsubi-Sanpo) (1685), and he also corrected some mistakes (in some parts it was mentioned without annotation).
そこで、弟子の建部賢弘が『発微算法演段諺解』（1685）で点竄術とそれを用いた解法の詳細を公開し、併せて若干の誤りを（場合によっては注記せずに）訂正している。