[RunLoopUntilCondition] Complete draft, needs edits.