HOOPS: Submitted without comment