Implement EXP3vEXP3