diff self proved