Translate the following question to SQL: Find number of products which Sony does not make.

Schema: CREATE TABLE Manufacturers (
    Code INTEGER   PRIMARY KEY,
    Name VARCHAR(255) NOT NULL,
    Headquarter VARCHAR(255) NOT NULL,
    Founder VARCHAR(255) NOT NULL,
    Revenue REAL
);

CREATE TABLE Products (
    Code INTEGER   PRIMARY KEY,
    Name VARCHAR(255) NOT NULL,
    Price DECIMAL NOT NULL,
    Manufacturer INTEGER NOT NULL,
    FOREIGN KEY (Manufacturer) REFERENCES Manufacturers(Code)
);
user
SELECT count(DISTINCT name) FROM products WHERE name NOT IN (SELECT T1.name FROM products AS T1 JOIN manufacturers AS T2 ON T1.Manufacturer  =  T2.code WHERE T2.name  =  'Sony')
assistant