A helper for time management.