Add synthesis, modification of proposals, etc