A quotient-like construction involving elementary submodels - Peter Burton (2015)