Modal Logic Question

Necessary doesn’t mean will happen. Only sufficient does.