Task: Text to Code
Input (English): SQL: SELECT Name FROM Patient EXCEPT SELECT Name FROM Patient
Feedback: Replace name of patient patient table with name of medication medication equals Procrastin X in step 2.
Output (English): 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'