Eventually simple IAPS

Definition
Let $$(G,\Phi)$$ be an IAPS of groups. It is said to be eventually simple if there exists a $$N$$ such that for all $$n \ge N$$, $$G_n$$ is a simple group.

Weaker properties

 * p-simple IAPS
 * i-simple IAPS