Make specification for Timer pass