◇驳难刘焯《皇极历》

焯历有岁率、月率，而立定朔，月有三大、三小。案岁率、月率者，平朔之章岁、章月也。以平朔之率而求定朔，值三小者，犹似减三五为十四；值三大者，增三五为十六也。校其理实，并非十五之正。故张衡及何承天创有此意，为难者执数以校其率，率皆自败，故不克成。今焯为定朔，则须除其平率，然後为可。（《隋书·律历志下》）