Finiti i giochi di EL a meno di un lemma.