SLU ISA Formal 2024