Definition: In this task, you are given a second sentence. Your task is to generate the first sentence on the same topic but incoherent and inconsistent with the second sentence.
Input: For instance , they do not exist in simply typed lambda calculus .
Output:
Fixed - point combinators do not necessarily exist in more restrictive models of computation .