Thread:Professor Ambrius/@comment-4411406-20150609210939/@comment-2041242-20150609211303

Try to find a good name for it, and if there are enough examples, propose it.