Harmonic analysis for pulsar timing arrays | Synapse