KYRA Formal