Deduction IV – at bedtime