Formality, if present, can be equally derived from observation and description of usage, using the linguistic analysis of the kind found in the articles I linked above. Language, when viewed in total, has shared elements and patterns that supersede the narrow focus of prescriptive impositions. It's why linguists can observe things such as that the dropped copula exists in both AAVE and Russian.