Title: Waterman's book about Nicholson's horizontal borer