Extending the list of definitions of the Petersen graph.