mot dennes logiskt bindande deduktion uppträdde dock hr.