Task: Text to Code
Input (English): List the employees who have not showed up in any circulation history of documents. List the employee's name.
Output (English): SELECT employee_name FROM Employees EXCEPT SELECT Employees.employee_name FROM Employees JOIN Circulation_History ON Circulation_History.employee_id = Employees.employee_id