INNOSENT in FORMAL