Effort → proof → reward