Defining Remote Differentiation