CREATE TABLE department (dept_name VARCHAR, dept_code VARCHAR)
CREATE TABLE professor (prof_office VARCHAR, emp_num VARCHAR, dept_code VARCHAR)
CREATE TABLE employee (emp_num VARCHAR, emp_lname VARCHAR)

What is department name and office for the professor whose last name is Heffington?
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'
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'