EX Formal Stahn