Utgången bör antagligen vara känd inomförlöp