that is to say, because theoreticians are interested in natural language, we TEND to avoid formal language entirely because it's artificial

and because we can rely on judgments, we can actually do a LOT of work on JUST informal speech