Dear brain, when I need to get up at 0415 it is unhelpful to wake me up at 0115 and 0315 to check if it’s 0415. It is possible to deduce that it is not 0415, because the alarm is not going off.