"1994.85.3" . . .