2 a . : r t f ¬ r 0.