9[¬\