Characteristic predicate ReturnPortal :: ReturnPortal
ReturnPortal
(
)