I hate to sound dense, but could someone define and explain "trading" with AGI? Is it something like RLHF?