New formalization (no valuation in outcome function) - rfc