Arnault’s derivative loophole must be closed