t * , v. 8440)