Pātuhitia tēnei: Equations of phase-locked loops