r ¬ 8 a.