Modification in logic