Sorites_argument loading ...