Definition of "Kotlin"