HW0 for 11-791