Statements about planar graphs