Characteristic predicate DataFlow :: Incompleteness :: Incompleteness
Incompleteness
(
)