I will continue our explorations of hyperdoctrines. This time, we will look at regular categories a-la "categories with images" on a categorical side, and regular logics à la (=,⋀,∃)-fragments of FOL. As promised last time, we will touch base on elimination of imaginaries in this context. I will try to supplement us with a plethora of examples.