Canonical lines: these are vertical curves  such that 


Canonical domains: they are unions of canonical lines 

Constructing consistent bases:

 we start with the local theory