n r : ¬ e-