Arthur:

I like the strong law proof.

The discussion of compile-time checking is incomplete.
It does not cover the following cases where we cannot check at compile-time:

(send (send o (concat ': some-string)) ':m)

Class definitions while program is running.

Method definitions at run-time.

Do you agree?

-- Karl