there is a problem in the sepcification