Add general specification