New operators for theory change