Distinguishing contracts