We need to also consider an extension of , which we will call , which is obtained by replacing with :

In the language of Simpler notations, we allow , but require: