r - ¬ af