(p0 /\ (p0 -> ([a]p0)))-> ([a]p0)
