APPROOF

Definition of APPROOF