formalizándolas