Niektórzy programiści uważają, że S3 nie zapewnia bezpieczeństwa normalnie związanego z programowaniem obiektowym. W S3 bardzo łatwo jest utworzyć klasę, ale może również prowadzić do bardzo zagmatwanych i trudnych do debugowania kodu, gdy nie jest używany z wielką ostrożnością. Na przykład możesz łatwo przeliterować imię, a R nie będzie narzekać. Możesz łatwo zmienić klasę na obiekt, a R też nie narzekał. Klasy S4 zostały opracowane po S3 w celu zwiększenia bezpieczeństwa. S4 zapewnia ochronę, ale wprowadza również dużo gadatliwości, aby zapewnić to bezpieczeństwo. Model obiektowy S4 implementuje większość cech współczesnych zorientowanych obiektowo języków programowania – formalne definicje klas, dziedziczenie, polimorfizm (parametryczny) i hermetyzacja