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

Find the names of patients who are not using the medication of Procrastin-X.
SELECT name FROM patient EXCEPT SELECT T1.name FROM patient AS T1 JOIN Prescribes AS T2 ON T2.Patient = T1.SSN JOIN Medication AS T3 ON T2.Medication = T3.Code WHERE T3.name = 'Procrastin-X'
SELECT "name" FROM "patient" EXCEPT SELECT "T1"."name" FROM "patient" "T1" JOIN "Prescribes" "T2" ON "T1"."SSN" = "T2"."Patient" JOIN "Medication" "T3" ON "T2"."Medication" = "T3"."Code" AND "T3"."name" = 'Procrastin-X'