包含 synthesis 的规定以及 script, library 等等。
请注意 deadline 是下下星期五 上课前!