Formal Aspects 1