Formal functions and formal imbeddings | lit.salon