Checkpoint (about to return polynomials as pure functions)