Necessity — fixed core (true in every world)
Contingency — fluid orbiting worlds
Kripke discovery — necessary a posteriori