Formal FST KI-6502