Translate the following question to SQL: Return the device carriers that do not have Android as their software platform.

Schema: CREATE TABLE device (
    Device_ID INT   PRIMARY KEY,
    Device TEXT,
    Carrier TEXT,
    Package_Version TEXT,
    Applications TEXT,
    Software_Platform TEXT,
    UNIQUE (Device_ID)
);

CREATE TABLE shop (
    Shop_ID INT   PRIMARY KEY,
    Shop_Name TEXT,
    Location TEXT,
    Open_Date TEXT,
    Open_Year INT,
    UNIQUE (Shop_ID)
);

CREATE TABLE stock (
    Shop_ID INT   PRIMARY KEY,
    Device_ID INT   PRIMARY KEY,
    Quantity INT,
    PRIMARY KEY (Shop_ID, Device_ID),
    UNIQUE (Shop_ID, Device_ID),
    FOREIGN KEY (Device_ID) REFERENCES device(Device_ID),
    FOREIGN KEY (Shop_ID) REFERENCES shop(Shop_ID)
);
user
SELECT Carrier FROM device WHERE Software_Platform != 'Android'
assistant