9 ( lec .,