$H empty, empty empty