r ) ¬ 0 0.