wrap up syntax for proposal