Filled out synthesis script skeleton, deleted bash script skeleton