What are the names of the technicians that have not been assigned to repair machines?
select name from technician where technician_id not in (select technician_id from repair_assignment)