Regarding the introduction of Tattvasaṃgraha (TS) 3440–3441, the Tattvasaṃgrahapañjikā (TSP) mentions that the reason for denying omniscience suggested by Kumārila of “being a real thing etc.” could actually prove omniscience. However, in the TS 3440–3441 proof statement, we do not find the phrase “being a real thing etc.” that is found in TSP’s introduction. In its annotation for the relevant portion, TSP presents a proof statement with the expression maulaḥ prayogaḥ. This proof statement demonstrates omniscience by using the phrase “being a real thing etc.” The expression maulaḥ prayogaḥ is based on TS 3446. As can be seen from the fact that it is proving omniscience with the reason that Kumārila used for denying omniscience, its opposition to him is clear. TSP sees the proof statement from TS 3440–3441 as the ground for maulaḥ prayogaḥ. This proof statement is based on Pramāṇavārttika (PV) 2.136, PV 3.285, and the ideas of Dharmakīrti’s followers regarding these passages. A similar proof statement is found in the Madhyamakāloka.