add proposal spec