to be
first, this language must be able to state that things exist
dot with an arrow pointing to itself