change logic -- axiomatized