9.2.6. edb7312ΒΆ

TODO.