Ditto for HaveNext