SLU ISA Formal 2023