<https://plugins.jetbrains.com/plugin/10389-kodkod...
# random