arbitrageprocedures