A Progressive Logic of Trade