Engineered languages (often abbreviated to engelangs, or, less commonly, engilangs) are constructed languages devised to test or prove some hypotheses about how languages work or might work. There are at least three subcategories, philosophical languages (or ideal languages), logical languages (sometimes abbreviated as loglangs), and experimental languages. Raymond Brown describes engineered languages as "languages that are designed to specified objective criteria, and modeled to meet those criteria".