Maximizing [P(no TM) C + P(TM) u(TM, A))] is the same as maximizing u(A) under assumption TM.
Yes, that’s a clear way of phrasing it.
Yes, that’s a clear way of phrasing it.