A_fortiori_argument loading ...