Procyclical Leverage and Value-at-Risk · Study