Other researchers have since extended the language somewhat on their own. One example is CosmicOS. Another is a second-generation Lingua Cosmica[3] developed by the Dutch-Swedish astronomer and mathematician Alexander Ollongren[4] of Leiden University, using constructive logic.