More work on div-time lab.