— Att bewisa ett påstående med ett autagande,