Now it needs to think more rigorously about how to do so.
It needs to think how to do that.