Nondeterministic logic for Swift