[{0}]p0->[{0, 2}]p0
