Characteristic predicate GlobalNamespace :: GlobalNamespace
GlobalNamespace
(
)