Input of a revised specification