synching the script with Scott's proofs