The use of "but" signals a truism to the effect that we assume actions taken are taken as efficiently as possible. How do I say this in notation? My best guess is that "good" has to be a sort of keyword; an adjective so general that, like verbs 'in' and 'at', it is allowed in describing a general truisms. So, taking us to the very edges of ethics and aesthetics, I propose:
Truism 8A: Actions are efficient:
(person->X) :: [(person->X)_/GOOD]
Truism 8B: Efficient actions have positive consequences
(person->X)_/GOOD :: [X_/GOOD]