Next subject: function calling for domains where the final answer is unverifiable.
Legal rulings, business decisions: you can't verify the conclusion. But you can verify the process. Model every mandatory reasoning step as typed schema properties, put the verdict last.