EST and EDT Are Different Time Zones