Formal Aspects 3