Deakstadieđáhus: Equations of phase-locked loops