sync script with Scott's proof of page 3