let solution pp = list (eqn pp)