Title: On a proposed symbolic dynamics for the Hénon map