Maturity Date included in Protection

Hi Pepe,
this is how I understand the JPM code. It compiles, but I did not try it out in terms of results.
best
Peter