temporarily admit proof obligation of PeekNext
remove an old admit