Is "devices" here arbitrary?