Premise: Now it needs to think more rigorously about how to do so.

Hypothesis: It doesn't need to think about the future.
Relation: contradiction