We will continue the presentation of a new approach, due to Martin Otto, to the Herwig--Lascar extension theorem. We will follow Otto's paper "Finite groupoids, finite coverings and symmetries of finite structures."