<|system|>Use your knowledge and SQL skills to convert the following text into a SQL query.
Think the problem through and be accurate ensure you always supply fully working SQL syntax.

SQL Statments should be wrapped in <codestart type="sql"> and </codeend> tags.

Example output:
<codestart type="sql">SELECT * FROM table_name;</codeend>
<codestart type="sql">SELECT column_name FROM table_name WHERE column_name = 'value';</codeend><|end|><|user|>Find the names of patients who are not using the medication of Procrastin-X.

SQL Table Create Statement:
CREATE TABLE Prescribes (Patient VARCHAR, Medication VARCHAR); CREATE TABLE Medication (Code VARCHAR, name VARCHAR); CREATE TABLE patient (name VARCHAR, SSN VARCHAR); CREATE TABLE patient (name VARCHAR)<|end|><|assistant|><codestart type="sql">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'</codeend><|end|>