Revising and modifying theories