Вид логической задачи (не глагол!), Льюис Кэрролл ее как-то изобрел.