# Get the quick result NOW, but let the slow background work finish on its own.
First := rush:
    QuickCheck()             # finishes first → its value returns here
    LongBackgroundJob()      # NOT cancelled — keeps running after rush returns