Phase-folded light curve of WASP-4b. Gray points are TESS flux measurements, with median 1σ uncertainty shown in the lower right. Yellow points are binned measurements. The bottom panel shows the residuals. The fit to the phase-folded transit (blue line) is used when measuring midtransit times of individual transits (see Section 2.2).