Retyped

Definition of Retyped