We will give an introduction to the Herwig--Lascar extension theorem and start presenting a new approach to it from the paper "Finite groupoids, finite coverings and symmetries of finite structures" by Martin Otto.