That seems clear. Perhaps in addition, u(c,d)+u(d,c) < 2*u(c,c), though I’m not sure if that makes a difference to your claims.
Again, no difference for CDT or TDT (or the version of ADT I’ll present), but sometimes it matters for UDT.
That seems clear. Perhaps in addition, u(c,d)+u(d,c) < 2*u(c,c), though I’m not sure if that makes a difference to your claims.
Again, no difference for CDT or TDT (or the version of ADT I’ll present), but sometimes it matters for UDT.