Awakenable Formal Sara