- implement proof-script insertion