I'm sure that will go well for my formal model in a language that about 100 people use...
If only 100 people in the world are using this language, who are you even merging code with, lol.