E9 declarations