Describing input-output pairs