Using only the conversion to leancop FOL operators