A (positive definite integral) quadratic form is called strictly regular if it primitively represents all positive integers which are primitively represented by its genus.
In this talk, we discuss the proof of the finiteness of equivalence classes of (primitive) strictly regular quaternary quadratic forms given by Earnest, Kim and Meyer in 2014.