Formal Aspects 2