this line should be broken up; also use the time constants defined in `$`