Päivitystä Automaattiin ja oheisluokkiin. Totuusfunktiot poistettiin tarpeettomina.