9 a 9 r ¬.