Связано с утилитарным доказательством мельницы