Understanding AAX's Vanilla Contract