Hello! Just saw today's word ("betide, from Old English tidan (happen), from tid (time)") and wondered whether "Time and tide wait for no man" was originally redundant. Any ideas?