Building similar \(L\)-like models for stronger large cardinals, such as strong, or Woodin, is much harder. Those models are of the form \(L[E]\), where \(E\) is a sequence of extenders, each extender being a system of measures, that encode the relevant elementary embeddings.