Studying program verification.
Invited by: Keisuke Fujii
if the data has not been changed, no new rows will appear.