Good ultrafilters and highly saturated models: a friendly explanation