On Tuesday, 12 May 2026 at 11:13:15 UTC, Dukc wrote: > This is safe because of the first invariant. Meant: because the fields of the delegate are not accessible from outside in safe code.