Formal methods in the study of language 1 door