On the other hand, as for the books by Tokuitsu side, there exists only "Shingon-shu miketsumon" (a collection of criticisms of esoteric teachings) which was criticism against Kobo Daishi (Kukai) (774 – 835) in Shingon sect and thus the details are unknown.
一方の徳一側の著書は、真言宗の空海（774年-835年）への論難である『真言宗未決文』以外現存していないため、詳細は不明である。