SLU ISA Formal 2022