已知命题$p:\exists x_0\in R$，${x_0}^2+2x_0+2\le 0$,则$\neg p$为(   )

阅读下面两个文言文语段，回答相关问题。
      【甲】元丰六年十月十二日，夜，解衣欲睡，月色入户，欣然起行。念无与乐者，遂至承天寺，寻张怀民。怀民亦未寝，相与步于中庭。庭下如积水空明，水中藻荇交横，盖竹柏影也。何夜无月?何处无竹柏?但少闲人如吾两人者耳。   

                                                                                                                       (选自《记承天寺夜游》)
      【乙】余尝寓居惠州嘉祐寺，纵步^①松风亭下，足力疲乏，思欲就亭止息。望亭宇尚在木末，意谓如何得到?良久忽曰：“此间有甚么歇不得处!”由是如挂钩之鱼，忽得解脱。若人悟此，虽兵阵相接，鼓声如雷霆，进则死敌^②，退则死法^③，当恁么^④时也不妨熟歇^⑤。
                                                                                                                       (选自《东坡志林•记游松风亭》)
       【注】：①纵步：放开脚步，这里指散步。②死敌：死于敌手。③死法：死于军法。④恁么：如此，这样。⑤熟歇：好好地休息一番。

Lily and Lucy have arrived, but _______ students aren't here yet.