formal linguistics. It also offers an interesting perspective that intersects the