Does the `t: Time` ever get used here? Maybe we don't care.