  I will attempt to represent a symbol to a ps.d.o., using two bases and a
lifting functional. The representation is based upon an invariance principle
and conditions on the boundary, defined by first surfaces to the symbol.
