Closing the category of finitely presented functors under images made constructive. Issue 4 (2020)