Reference to Okasaki's square matrix paper.
Remove an unclear comment.