“…In computational geometry, it has been shown that counting the vertices or facets of highdimensional convex polytopes is #P-complete [28], and that computing the expected total length of the minimum spanning tree of a stochastic subset of three-dimensional points is #Phard [25]. Additionally, when testing existence of a geometric structure is hard [5,9,31,29,26] it is just hard to determine whether its count is nonzero. However, we know of no past hardness proofs for counting easy-to-construct two-dimensional structures.…”