Title: Pendulum theory without approximation