Awakenable Formal Stahn