(n‘∀‘)η