a r . n s a a n ¬ d n o ¬n