9 . ; inf.