view code for the synthesis in the crust notebook