Optimized times via Set, simplifications.