A case study of the practices of conjecturing and proving of research mathematicians. Issue 5 (28th May 2021)