I'll discuss a recent equiconsistency proved by John Krueger and myself between the failure of a partial square principle introduced by Saharon Shelah and the existence of a greatly Mahlo cardinal. The terminology will be explained and the proofs will be outlined in some detail.