can trade exec be > trade alloc? or always trade alloc is >= to trade exec?