operating state exists
, not to existing variables
/O exists
for the jump does not exist [...] that doesn't exist [...] exists
or internal error exists
input data exists
a user who exists