Tentatively completed implementation of notification timer; untested.