Definition of Revert