Argumentum_a_contrario loading ...