The propagation of laser light has been studied through high frequency asymptotics. For lasers which produce pulses as short as several picoseconds, the light is assumed to have the form of a modulated wavetrain with slowly varying envelope multiplying rapidly varying phase. The slowly varying amplitude assumption does not hold for ultrafast lasers. I will present a rigorously justified alternative, valid for short pulses, which leads to qualitatively different approximations.