A_posteriori_necessity loading ...