Characteristic predicate RemoteInterface :: RemoteInterface
RemoteInterface
(
)