we investigate graham higman's paper emph{enumerating }$p$emph{-groups}, ii, in which he formulated his famous porc conjecture. we are able to simplify some of the theory. in particular, higman's paper contains five pages of homological algebra which he uses in his proof that the number of solutions in a finite field to a finite set of emph{monomial} equations is porc. it turn...