den af logiken bekanta slutsatsenatt