Monomorphisms in the category of firm modules. Issue 4 (2nd April 2020)