સિદ્ધાન્ત પ્રમાણે, બીજા અપેક્ષિત ન હોય જોઈએ: આ મશીન - તે વર્ગની માટે પૂરતી મોટી છે.