Did listing hartl 9.12