We could change the _Effects:_ to say something like "The result is `c`" and then change the _Returns:_ to: > _Returns:_ The result as described above, or `traits::eof()` to indicate failure.