Modal Logic Question

For posterity.