Is algebraicVariableCount actually required here?