Necessary_and_sufficient loading ...