Difference Type Definition