If agent-relative value is coherently built in, the resulting theory is extensionally equivalent to ...