CREATE TABLE Medication (Code VARCHAR2, name VARCHAR2)
CREATE TABLE patient (SSN VARCHAR2)
CREATE TABLE Prescribes (patient VARCHAR2, Medication VARCHAR2)

Find the number of patients who are not using the medication of Procrastin-X.
SELECT COUNT(*) FROM patient WHERE NOT SSN IN (SELECT T1.patient FROM Prescribes AS T1 JOIN Medication AS T2 ON T1.Medication = T2.Code WHERE T2.name = 'Procrastin-X')
WITH "_u_0" AS (SELECT "T1"."patient" FROM "Prescribes" "T1" JOIN "Medication" "T2" ON "T1"."Medication" = "T2"."Code" AND "T2"."name" = 'Procrastin-X' GROUP BY "patient") SELECT COUNT(*) FROM "patient" LEFT JOIN "_u_0" "_u_0" ON "SSN" = "_u_0"."" WHERE "_u_0"."" IS NULL