Sort:  

AMPL and SPOT will be converted to OPTIMISM. aka $OP

Ah, OK. Thanks for the clarification!