Well, it is enumerative geometry: counting things. One would expect (a priori, not necessarily) that any method to give an answer to the problem can be used to count. That is, it is programmable.

Not trying to argue, just to specify the type of result.