Notes for future revision.