Goldman's Trading Formulae Leaked by Quant Spy