カンニングしたら写経80巻というのは最初から明文化されてたんか?