Mathematicians often strive for a complete classification (or list) of a mathematical notion. Both p2 and p3 are what?