simple identifiers [...] identifiers Exists
which are identified by a symbol
is identified by the remote