Clarify some assertions in the seek algorithm