Various writers speak as if the 'hierarchy of languages' or Tarskian approach prohibited one from forming, for example, languages with certain kinds of self reference, or languages containing their own truth predicates.