ISA Formal 2022