06/11/25 - SYN000+2 SYN000-2 SYN000_2 - Fixed introduced assumptions
06/11/25 - SYN000-3 - Removed surplus ()s around equalities
06/11/25 - SYN000^7 - Added missing # in multi-modal example
06/11/25 - ITP207_3 ITP207_4 ITP208_3 ITP208_4 ITP211_3 ITP211_4 ITP214_3 ITP214_4 ITP216_3
           ITP216_4 ITP217_3 ITP217_4 ITP220_3 ITP220_4 ITP221_3 ITP221_4 ITP222_3 ITP222_4
           ITP223_3 ITP223_4 ITP224_3 ITP224_4 ITP225_3 ITP225_4 ITP226_3 ITP226_4 ITP227_3
           ITP227_4 ITP228_3 ITP228_4 ITP229_3 ITP229_4 ITP230_3 ITP230_4 ITP231_3 ITP231_4
           ITP232_3 ITP232_4 ITP233_3 ITP233_4 ITP234_3 ITP234_4 ITP236_3 ITP236_4 ITP238_3
           ITP238_4 ITP239_3 ITP239_4 ITP240_3 ITP240_4 ITP241_3 ITP241_4 ITP242_3 ITP242_4
           ITP243_3 ITP243_4 ITP244_3 ITP244_4 ITP245_3 ITP245_4 ITP246_3 ITP246_4 ITP247_3
           ITP247_4 ITP248_3 ITP248_4 ITP249_3 ITP249_4 ITP250_3 ITP250_4 ITP251_3 ITP251_4
           ITP252_3 ITP252_4 ITP253_3 ITP253_4 ITP254_3 ITP254_4 ITP255_3 ITP255_4 ITP257_3
           ITP257_4 ITP258_3 ITP258_4 ITP259_3 ITP259_4 ITP260_3 ITP260_4 ITP262_3 ITP262_4
           ITP263_3 ITP263_4 ITP264_3 ITP264_4 ITP265_3 ITP265_4 ITP267_3 ITP267_4 ITP268_3
           ITP268_4 ITP269_3 ITP269_4 ITP270_3 ITP270_4 ITP271_3 ITP271_4 ITP272_3 ITP272_4
           ITP273_3 ITP273_4 ITP274_3 ITP274_4 ITP275_3 ITP275_4 ITP276_3 ITP276_4 ITP278_3
           ITP278_4 ITP279_3 ITP279_4 ITP280_3 ITP280_4 ITP281_3 ITP281_4 ITP282_3 ITP282_4
           ITP283_3 ITP283_4 ITP284_3 ITP284_4 ITP285_3 ITP285_4 ITP286_3 ITP286_4 ITP287_3
           ITP287_4 ITP288_3 ITP288_4 ITP289_3 ITP289_4 ITP290_3 ITP290_4 ITP291_3 ITP291_4
           ITP293_3 ITP293_4 ITP294_3 ITP294_4
           - Added missing ()s around negated sides of (in)equalities