#4137 make specification abstract
#4137 make specification abstract