prove new_specification preserves consistency