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