CREATE TABLE employee (emp_num VARCHAR(255), emp_lname VARCHAR(255)); CREATE TABLE department (dept_name VARCHAR(255), dept_code VARCHAR(255)); CREATE TABLE professor (prof_office VARCHAR(255), emp_num VARCHAR(255), dept_code VARCHAR(255))
What is department name and office for the professor whose last name is Heffington?
    
SQL: SELECT T3.dept_name, T2.prof_office FROM employee AS T1 JOIN professor AS T2 ON T1.emp_num = T2.emp_num JOIN department AS T3 ON T2.dept_code = T3.dept_code WHERE T1.emp_lname = 'Heffington'