rn et a h ¬ n.