, t a r ¬ Div.