Text this: Polynomial Analogue of Gandy's Fixed Point Theorem.