Reductio_ad_absurdum loading ...