More material on biased search.