HFA: first push