Characteristic predicate NestedCompletion :: NestedCompletion
NestedCompletion
(
)