Yes, but the people who talk to me as Software Engineer about what to build also talk to me only in natural language, not a formal language.