@icecolbeveridge conjecture: with n variables, you can get at most 2^n - 1 local maxima in the graph (e.g. a,b,c=4,2,1 gives 7 peaks)