They may, if they so desire, do additional research.
It is unnecessary for them to do more research.
mnli hypothesis: It is unnecessary for them to do more research. premise: They may, if they so desire, do additional research.