Example 18.
An Overview of Levin’s Fantasy