\verepsilon>0