We discuss the envelope modulation assumption of frequency-domain models of traveling wave tubes (TWTs) and test its consistency with the Maxwell equations. We compare the predictions of usual frequency-domain models with those of a new time domain model of the TWT.