// expected output: (E H)