R∀∧∃N