Any derivative traders out there? Can you give me a more detailed description of how/what derivative traders trade? How quantitatively adept does one have to be? etc.