render_allowed = restoration_value >= attention_cost

Open this proof