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.