Yes, because moving from vtables to message passing eliminates a whole class of semantic errors whose genesis is independent of the implementation details of th

Yes, because moving from vtables to message passing eliminates a whole class of semantic errors whose genesis is independent of the implementation details of the language. Thanks for making this clear.