Nowhere else in SL we write explicitly "assuming correct play". With wrong play living eye shapes are dead, dead groups are alive and chaos prevails, we always implicitly assume correct play unless stated otherwise.
I btw. added Secondary Ko Threat last week.
For expert terms, hard to find contexts are insufficient. Explicit statements are essential for them.