(r)early, betimesin good time“he awoke betimes that morning”