Restate fantasy hypothesis
Complete implication