Formal Qi Methods