[SCIA2023] Proposition