A hand-tuning ritual for industrial controllers is now a deterministic counting algorithm. — Synthesis