Allen Chou
says to
YSITD
之前美國國防部對他們的戰機做過 Formal Verification 啊