CREATE TABLE manufacturers (code DECIMAL, name TEXT, headquarter TEXT, founder TEXT, revenue DECIMAL)
CREATE TABLE products (code DECIMAL, name TEXT, price DECIMAL, manufacturer DECIMAL)

Find number of products which Sony does not make.
SELECT COUNT(DISTINCT name) FROM products WHERE NOT name IN (SELECT T1.name FROM products AS T1 JOIN manufacturers AS T2 ON T1.manufacturer = T2.code WHERE T2.name = 'Sony')
WITH "_u_0" AS (SELECT "T1"."name" FROM "products" AS "T1" JOIN "manufacturers" AS "T2" ON "T1"."manufacturer" = "T2"."code" AND "T2"."name" = 'Sony' GROUP BY "name") SELECT COUNT(DISTINCT "name") FROM "products" LEFT JOIN "_u_0" AS "_u_0" ON "_u_0"."" = "name" WHERE "_u_0"."" IS NULL