this is my problem I don\'t know how to transform ∃m : m ∈ N to CNFFormula. I just understand the formula ∃x(A(x)vB(X))
