謂去來」者，經部難。去、來實有，應名現在，何謂去來」者，經部難。去、來實有，應名現在，何謂去、來？「豈不前言約作用立」者，說一謂去、來？
「豈不前言約作用立」者，說一切有部答。指同前說。「若爾現在至有何切有部答。指同前說。
「若爾現在至有何作用」者，經部復難。若爾，現在有眼等根，不作用」者，經部復難。若爾，現在有眼等根，不見色等，彼同分攝，有何作用名為現在？見色等，彼同分攝，有何作用名為現在？
「彼豈不能取果與果」者，說一切有部答。「彼豈不能取果與果」者，說一切有部答。彼同分眼雖無見色發識之用，彼豈不能彼同分眼雖無見色發識之用，彼豈不能起取果用及與果用名現在耶？「是則起取果用及與果用名現在耶？
「是則過去至世相應雜」者，經部復難。過去因等過去至世相應雜」者，經部復難。過去因等既能與果，應有作用。既有作用，亦應名既能與果，應有作用。
既有作用，亦應名現。有半作用，世相應有雜亂之過。現。有半作用，世相應有雜亂之過。
「已略推徵至此法性甚深」者，此即第二正破。「已略推徵至此法性甚深」者，此即第二正破。上句「用」字通於兩處，謂何礙用、用云何。若上句「用」字通於兩處，謂何礙用、用云何。
若用與體無有異者，世義便壞。若說去、來法用與體無有異者，世義便壞。若說去、來法體實有，誰未已生名未來？誰復已滅名過體實有，誰未已生名未來？
誰復已滅名過去？毘婆沙師作如是言：此法性甚深。去？毘婆沙師作如是言：此法性甚深。
「論曰至許常有故」者，釋何礙用。經部難云：應「論曰至許常有故」者，釋何礙用。經部難云：應說一切有為諸法於三世中自體恒有，應說一切有為諸法於三世中自體恒有，應一切時能起作用，何礙此法用有還無。汝一切時能起作用，何礙此法用有還無。
汝若謂眾緣不和合者，此救非理，汝許因緣若謂眾緣不和合者，此救非理，汝許因緣亦常有故。「又此作用至法名去來」者，釋亦常有故。「又此作用至法名去來」者，釋用云何。又此作用，云何得說為去、來、今？此用云何。
又此作用，云何得說為去、來、今？此難意：汝說法體由作用故說三世別，作用難意：汝說法體由作用故說三世別，作用未起名未來，作用已起名現在，作用已滅未起名未來，作用已起名現在，作用已滅名過去。體由作用說三世別，用復由誰說名過去。
體由作用說三世別，用復由誰說去、來、今三世差別？豈作用中而得更立有去、來、今三世差別？豈作用中而得更立有餘作用，說此作用為去、來、今？若於用上復餘作用，說此作用為去、來、今？
若於用上復有餘用，用復有用便致無窮。若此作用更有餘用，用復有用便致無窮。若此作用更無作用，非去、來、今三世所攝，而復說言作無作用，非去、來、今三世所攝，而復說言作
下页续读